Refinements and Separation of Concerns
نویسنده
چکیده
Today’s notions of encapsulation are very restricted — a module or component contains only source code. What we really need is for modules or component to encapsulate not only source code that will be installed when the component is used, but also encapsulate corresponding changes to documentation, formal properties, and performance properties — i.e., changes to the central concerns of software development. The general abstraction that encompasses this broad notion of encapsulation is called a “refinement”.
منابع مشابه
Modeling Aspects by Category Theory
A framework for formal analysis of aspect-oriented software development (AOSD) is proposed. AOSD is treated as enriching formal models of programs by traceable refinements that produce their systemic interfaces. Category-theoretic construction of architecture school is employed to formalize this approach. Aspect weaving and separation of concerns are defined as universal constructions. Aspect-o...
متن کاملConcurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency
To deal with the increasing complexity of modern highly-concurrent systems, the GEMOC approach for concurrency-aware eXecutable Domain-Specific Modeling Languages (xDSMLs) proposes to make explicit, in the operational semantics model, the concurrency concerns using a Model of Concurrency (MoC). This separation of concerns enables refinements (e.g., for sequential or parallel execution platforms...
متن کاملنقش بیونیک و سیبرنتیک در سیستم های مدیریت اطلاعات
The degree and nature of man's understanding of the organism and the methods which the biologist has appied to its study have varied with the period at which he has lived. Since man himself is an organism and since thinking involves introspection, it is probably safe to say that his interest in the organism may have been one of his first concerns certainly the first phase of study was an observ...
متن کاملPebax-Modified Cellulose Acetate Membrane for CO2/N2 Separation
Carbon dioxide (CO2) release from the exhaust gas streams of power plants that burn fossil fuels contributes the most emission of this gas, which includes more than half of the greenhouse effects. Thus, the separation of CO2 from exhaust gases is one of the main environmental concerns. Membrane technology, due to many advantages, has attracted many research attentions among the various gas sepa...
متن کاملEvolution of Ccollective Object Behavior in Presence of Simultaneous Client-Specific Views
When different clients, each with their own individual customization requirements, use the same system simultaneously, the system must dynamically adapt its behavior on a per client basis. Each non-trivial adaptation of the system’s behavior will very likely crosscut the implementation of multiple objects. In this paper we present an extension to the Java programming language that supports the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000